Fermat の小定理
Fermat's little theorem
フェルマーの小定理 - Wikipedia
$ pを素數とし$ aを整數とすると、$ a^p\equiv a~({\rm mod}~p)
特に$ pを$ aと互ひに素な整數とすると、$ a^{p-1}\equiv 1~({\rm mod}~p)
Euler の定理
オイラーの定理 (数論) - Wikipedia
フェルマーの小定理 - Wikipedia#オイラーの定理
$ a,$ nを互ひに素な整數とすると、$ a^{\varphi(n)}\equiv 1~({\rm mod}~n)
$ \varphiはtotient
Carmichael の定理
フェルマーの小定理 - Wikipedia#カーマイケルの定理
Carmichael 數 (絕對僞素數)
カーマイケル数 - Wikipedia
Fermat 素數判定法
フェルマーの小定理 - Wikipedia#フェルマーテスト
Primality test - Wikipedia#Fermat primality test
Fermat primality test - Wikipedia